条款05：了解C++默默编写并调用哪些函数

  • 一个空类为了区分不同的对象，其通占有1个字节

    编译器为空类默认生成拷贝函数、析构函数、拷贝构造函数以及赋值运算符

    假设有下面这个空类：

    1
    2
    3
    class EmptyClass {
      	
    };

    编译器会为EmptyClass生成下面4个函数：

    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12
    13
    14
    15
    class EmptyClass {
    public:
      	EmptyClass() {
      
    	}
      	~EmptyClass() {
      
    	}
      	EmptyClass(const EmptyClass& obj) {
      		
    	}
      	EmptyClass& operator= (const EmptyClass& obj) {
      
    	}
    };

    当然，拷贝构造函数和赋值运算符函数体的内容由成员变量决定，假设有成员变量var1和var2，那么拷贝构造函数和赋值运算符的函数体如下：

    1
    2
    3
    4
    5
    6
    7
    8
    9
    EmptyClass(const EmptyClass& obj) : var1(obj.var1), 			var2(obj.var2){
      
    }
    EmptyClass& operator= (const EmptyClass& obj) {
      	var1 = obj.var1;
      	var2 = obj.var2;
      	return *this;
    }

  • 当成员变量含有const或引用时，比如：

    1
    2
    3
    4
    5
    class SampleClass {
    private:
      	const int var1;
      	double& var2;
    };

    这时候编译器会报错，告诉你无法提供合适的构造函数，因为对于const变量以及引用变量，需要在声明的时候初始化，而编译器提供的默认构造函数无法做到，可以改成下面的形式：

    1
    2
    3
    4
    5
    6
    7
    8
    9
    class SampleClass {
    private:
      	const int var1;
      	double& var2;
    public:
      	SampleClass(const int a = 0, double b = 0) : var1(a), var2(b){
      
    	}
    };

    这样编译器就不会报错了，但是如果你使用赋值运算：

    1
    2
    3
    SamleClass obj1;
    SamleClass obj2;
    obj2 = obj1;

    编译器会提示”operator=”函数在SampleClass中不可用，这说明编译器没有为SampleClass生成赋值运算函数，因为var1和var2在初始化后，值不会再改变。但是拷贝构造是可以执行的，如:

    1
    2
    SampleClass obj1;
    SampleClass obj2(obj1);

    上面这段代码是可以编译通过的，这是因为编译器会为SampleClass生成默认的拷贝构造函数：

    1
    2
    3
    SampleClass(const SampleClass& s) : var1(s.var1), var2(s.var2) {
      
    }

    这种方法并不会破坏const和reference的特性。

  • 总之，编译器会尽量去生成这4个成员函数，但如果成员变量出现了const和reference的成员变量，则编译器拒绝生成默认的构造函数和赋值运算符重载函数。